Modelling ODP Viewpoints
نویسندگان
چکیده
This paper gives a brief insight into the current work on the development of an architectural semantics for Open Distributed Processing (ODP). It first provides an introduction to the work on the formalisation in LOTOS and Z of the basic modelling and specification concepts of Part 2, and then focuses on the viewpoint languages of Part 3 of the Basic Reference Model for ODP (RM-ODP). It also shows up the separation of concerns that is achieved through these viewpoints thereby enabling systems to be considered from aspects which might be of interest to different people. This paper also highlights the way in which conformance between these formalised viewpoints can be checked, thereby ensuring that the system as a whole is consistent with the system as a collection of abstract viewpoints of the system. Finally the paper concludes with a brief discussion on the advantages and disadvantages of LOTOS and Z for modelling viewpoint languages and the RM-ODP generally.
منابع مشابه
Modelling ODP
This paper gives a brief insight into the current work on the development of an architectural semantics for Open Distributed Processing (ODP). It rst provides an introduction to the work on the formalisation in LOTOS and Z of the basic modelling and speciication concepts of Part 2, and then focuses on the viewpoint languages of Part 3 of the Basic Reference Model for ODP (RM-ODP). It also shows...
متن کاملModelling Distributed Systems Using
The ODP development model is a natural progression from OSI. Multiple viewpoints are used to specify complex ODP systems. Formal methods are playing an increasing role within ODP. There are two technical problems concerning the use of formal techniques within ODP which have yet to be addressed: these are uniication and consistency checking. We show how Z can be used to provide a solution for bo...
متن کاملA Formal Framework for Viewpoint Consistency
Multiple Viewpoint models of system development are becoming increasingly important. Each viewpoint ooers a diierent perspective on the target system and system development involves parallel reenement of the multiple views. Viewpoints related approaches have been considered in a number of diierent guises by a spectrum of researchers. Our work particularly focuses on the use of viewpoints in Ope...
متن کاملA new viewpoint for change management in RM-ODP systems
RM-ODP (Reference Model Open Distributed Processing) is a standardized modelling framework to describe a distributed application, according to different viewpoints. The standard has been published for about nearly ten years but in a quite abstract form and in leaving some issues pending (how to describe the viewpoints, management of consistency between views). Several academic and/or industrial...
متن کاملAddressing Computational Viewpoint Design
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems. Design frameworks such as Open Distributed Processing (ODP), the ITU/ISO standard, define a number of viewpoints from which the design of a distributed system should be approached. To use the framework, a design langu...
متن کامل